부분 공간
1. 개요
1. 개요
부분 공간은 벡터 공간의 부분집합으로, 그 자체가 벡터 공간의 공리를 만족하는 구조이다. 즉, 주어진 벡터 공간 안에 포함되면서, 벡터의 덧셈과 스칼라 곱 연산에 대해 닫혀 있고 영벡터를 포함하는 집합을 의미한다. 이는 선형대수학의 가장 기본적이고 핵심적인 개념 중 하나로, 선형 변환의 핵과 상, 행렬의 열공간과 같은 중요한 공간들을 정의하는 데 사용된다.
주로 다루는 것은 선형 부분 공간이며, 이는 원점을 반드시 지나는 평면이나 직선과 같은 기하학적 구조에 해당한다. 반면, 원점을 지나지 않는 평행한 평면이나 직선은 아핀 부분 공간으로 분류된다. 부분 공간의 개념은 함수해석학이나 기하학 등 수학의 여러 분야에서 확장되어 응용되며, 현대 데이터 분석 및 머신러닝에서도 데이터가 분포하는 저차원의 의미 있는 공간을 추출하는 기저 개념으로 활용된다.
어떤 집합이 부분 공간인지를 검증하기 위해서는 세 가지 조건을 확인한다. 첫째, 해당 집합이 영벡터를 포함해야 한다. 둘째, 집합 내의 임의의 두 벡터를 더한 결과가 다시 그 집합에 속해야 하며(덧셈에 대한 닫힘), 셋째, 집합 내의 임의의 벡터에 임의의 스칼라를 곱한 결과도 그 집합에 속해야 한다(스칼라 곱셈에 대한 닫힘). 이 세 조건을 만족하면 그 집합은 부분 공간임이 보장된다.
2. 정의
2. 정의
벡터 공간의 부분집합 중에서 그 자체가 벡터 공간의 공리를 만족하는 것을 부분 공간이라고 한다. 즉, 주어진 벡터 공간의 일부분이면서도 벡터 공간의 구조를 그대로 유지하는 집합이다. 이는 선형대수학의 가장 기본적이고 핵심적인 개념 중 하나로, 선형 변환의 핵심 공간인 핵과 상을 정의하거나, 데이터 분석 및 머신러닝에서 기저와 차원을 다루는 데 필수적이다.
부분 공간이 되기 위한 필요충분조건은 세 가지 검증 조건으로 요약된다. 첫째, 해당 부분집합은 반드시 영벡터를 포함해야 한다. 둘째, 집합 내의 임의의 두 벡터를 더한 결과가 다시 그 집합에 속해야 하며, 이를 덧셈에 대해 닫혀 있다고 표현한다. 셋째, 집합 내의 임의의 벡터에 임의의 스칼라를 곱한 결과도 다시 그 집합에 속해야 하는데, 이를 스칼라 곱셈에 대해 닫혀 있다고 한다. 이 세 조건을 만족하면, 나머지 벡터 공간 공리들은 자동적으로 만족하게 되어 해당 부분집합은 부분 공간이 된다.
가장 일반적으로 다루는 것은 선형 부분 공간이다. 이는 원점(영벡터)을 반드시 지나는 직선, 평면, 또는 그 이상의 고차원 초평면과 같은 구조를 말한다. 반면, 아핀 부분 공간은 선형 부분 공간을 평행 이동시킨 것으로, 원점을 지나지 않을 수 있다. 예를 들어, 3차원 공간에서 원점을 지나지 않는 평면은 선형 부분 공간은 아니지만 아핀 부분 공간이다.
3. 성질
3. 성질
부분 공간은 원래의 벡터 공간이 가지는 여러 대수적 성질을 그대로 물려받는다. 가장 기본적인 성질은 부분 공간 자체가 벡터 공간의 공리를 만족한다는 점이다. 이는 부분 공간의 정의에 직접적으로 포함된다.
부분 공간을 판별하는 데에는 간편한 검증 조건이 존재한다. 벡터 공간 V의 부분집합 W가 부분 공간이 되기 위한 필요충분조건은 세 가지이다. 첫째, W가 영벡터를 포함해야 한다. 둘째, W의 임의의 두 벡터를 더한 결과가 다시 W에 속해야 한다, 즉 덧셈에 대해 닫혀 있어야 한다. 셋째, W의 임의의 벡터에 임의의 스칼라를 곱한 결과도 W에 속해야 한다, 즉 스칼라 곱셈에 대해 닫혀 있어야 한다. 이 세 조건을 만족하면 W는 V의 부분 공간임이 보장된다.
부분 공간은 선형 결합에 대해 매우 강한 폐쇄성을 보인다. 부분 공간 W에 속하는 유한 개의 벡터들을 임의로 선택하고, 이들에 임의의 스칼라 계수를 곱하여 더한 선형 결합을 만들면, 그 결과 벡터는 반드시 다시 W에 속하게 된다. 이 성질은 부분 공간이 선형 독립과 기저의 개념을 논의할 수 있는 무대를 제공한다는 점에서 중요하다.
또한, 부분 공간들 간의 교집합은 항상 다시 부분 공간이 된다. 그러나 합집합은 일반적으로 부분 공간이 되지 않으며, 이를 확장한 개념인 합공간이 더 유용하게 쓰인다. 이러한 연산을 통해 새로운 부분 공간을 구성할 수 있다.
4. 생성
4. 생성
4.1. 생성원
4.1. 생성원
부분 집합이 주어졌을 때, 그 집합을 포함하는 가장 작은 부분 공간을 생성된 부분 공간이라고 한다. 이때 주어진 집합을 그 부분 공간의 생성원이라고 부른다. 생성원은 벡터들의 집합이며, 이 벡터들의 모든 선형결합으로 이루어진 집합이 바로 생성된 부분 공간이다.
예를 들어, 벡터 공간 R^3에서 두 벡터 v1과 v2가 생성원이라면, 이들이 생성하는 부분 공간은 a*v1 + b*v2 (a, b는 임의의 스칼라) 형태의 모든 벡터들의 집합이다. 이는 원점을 지나는 평면이 된다. 생성원에 영벡터만 있거나, 모든 벡터가 서로의 스칼라 배 관계에 있다면 생성되는 부분 공간은 직선이나 점과 같은 더 낮은 차원의 공간이 될 수 있다.
생성원의 개념은 기저와 밀접하게 연결되어 있다. 기저는 부분 공간을 생성하는 동시에 선형 독립인 최소한의 생성원 집합이다. 따라서 모든 기저는 생성원이지만, 모든 생성원이 기저는 아니다. 생성원 집합에 불필요한 벡터(다른 벡터들의 선형결합으로 표현 가능한 벡터)가 포함되어 있으면, 그 집합은 여전히 부분 공간을 생성하지만 기저가 되지는 않는다.
이 개념은 행렬의 열공간이나 행공간을 이해하는 데 직접적으로 적용된다. 행렬의 열벡터들이 생성하는 부분 공간이 열공간이며, 이 열벡터들의 집합이 바로 열공간의 생성원이 된다. 마찬가지로 행벡터들은 행공간을 생성한다.
4.2. 기저와 차원
4.2. 기저와 차원
부분 공간의 기저는 그 부분 공간을 생성하는 선형 독립인 벡터들의 집합이다. 즉, 부분 공간에 속하는 모든 벡터는 기저 벡터들의 선형 결합으로 유일하게 표현된다. 기저는 부분 공간을 구성하는 가장 기본적인 '뼈대' 역할을 하며, 기저를 이루는 벡터의 개수는 항상 일정하다. 이 개수를 그 부분 공간의 차원이라고 정의한다.
예를 들어, 3차원 공간에서 원점을 지나는 하나의 직선은 1차원 부분 공간이며, 그 직선 위의 0이 아닌 임의의 벡터 하나가 기저가 된다. 원점을 지나는 하나의 평면은 2차원 부분 공간이며, 그 평면 위에 있으면서 서로 평행하지 않은 두 벡터가 기저를 이룬다. 부분 공간의 차원은 포함하는 벡터 공간의 차원을 넘을 수 없다.
기저와 차원의 개념은 선형 변환을 분석하는 데 필수적이다. 선형 변환의 핵(영공간)과 상(치역)은 각각 정의역과 공역의 부분 공간이며, 이들의 차원은 계수-퇴화차수 정리를 통해 연결된다. 또한, 데이터 과학과 머신러닝에서 주성분 분석과 같은 차원 축소 기법은 데이터가 퍼져 있는 부분 공간의 기저를 찾는 과정으로 이해할 수 있다.
5. 연산
5. 연산
5.1. 합공간
5.1. 합공간
두 부분 공간의 합공간은 두 부분 공간에 속하는 벡터들의 모든 가능한 합으로 이루어진 집합이다. 보다 정확히, 벡터 공간 V의 두 부분 공간 U와 W가 있을 때, 이들의 합공간 U+W는 u ∈ U, w ∈ W인 모든 벡터 u와 w의 합 u+w로 구성된 집합으로 정의된다. 이 집합은 다시 V의 부분 공간이 된다. 합공간은 두 부분 공간을 모두 포함하는 가장 작은 부분 공간이다.
합공간의 차원은 두 부분 공간의 차원과 그 교차공간의 차원과 관련이 있다. 이를 나타내는 공식이 차원 공식이다. 이 공식에 따르면, 합공간의 차원은 두 부분 공간의 차원을 더한 값에서 교차공간의 차원을 뺀 값과 같다. 이는 선형 독립과 선형 종속의 개념을 통해 이해할 수 있으며, 기저를 확장하는 과정과도 연결된다.
합공간의 개념은 직합이라는 특별한 경우로 확장된다. 두 부분 공간의 교차공간이 영벡터만으로 이루어진 경우, 즉 두 공간이 서로 선형 독립인 경우, 그 합공간을 직합이라고 한다. 직합에서는 합공간의 모든 벡터가 유일한 방식으로 두 부분 공간의 벡터 합으로 표현된다. 이는 벡터 공간을 더 작고 이해하기 쉬운 부분으로 분해하는 데 유용한 도구이다.
합공간은 선형 변환의 상을 분석하거나, 행렬의 열공간과 행공간을 다룰 때, 또는 여러 해공간을 결합할 때 등 선형대수학의 다양한 문제 해결에 폭넓게 적용된다. 또한 함수 공간에서 두 함수 집합이 생성하는 공간을 논할 때도 합공간의 아이디어가 사용된다.
5.2. 교차공간
5.2. 교차공간
두 부분 공간의 교차공간은 두 부분 공간에 동시에 속하는 모든 벡터들의 집합으로 정의된다. 즉, 벡터 공간 V의 두 부분 공간 U와 W가 있을 때, 그 교집합 U ∩ W는 다시 V의 부분 공간이 된다. 이는 교집합의 원소들이 U와 W 각각의 부분 공간 조건(영벡터 포함, 덧셈과 스칼라 곱셈에 닫힘)을 모두 만족시키기 때문이다.
교차공간의 차원은 원래 두 부분 공간의 차원과 특별한 관계를 가진다. 두 부분 공간 U와 W의 차원을 각각 dim(U), dim(W)라 하고, 그 합공간 U+W의 차원을 고려할 때, 교차공간의 차원은 차원 공식 dim(U) + dim(W) = dim(U+W) + dim(U∩W)을 통해 구할 수 있다. 이 공식은 교차공간의 차원이 클수록 두 부분 공간이 공유하는 방향이 많아 합공간의 차원이 작아짐을 보여준다.
교차공간의 개념은 선형 방정식의 해를 분석하거나 선형 변환의 핵과 상을 이해하는 데 유용하게 적용된다. 예를 들어, 두 선형 변환의 핵의 교차공간은 두 변환을 동시에 영벡터로 보내는 벡터들의 공간이 된다. 또한, 직합을 논할 때 두 부분 공간의 교차공간이 영벡터만을 포함하는지 여부가 중요한 판단 기준이 된다.
5.3. 직합
5.3. 직합
직합은 두 개 이상의 부분 공간을 결합하여 새로운 부분 공간을 만드는 방법 중 하나로, 특히 그들의 교차공간이 영벡터만으로 이루어진 경우를 말한다. 두 부분 공간 U와 V의 직합은 U + V와 같이 표기하며, 이때 U ∩ V = {0}이 성립해야 한다. 이 조건은 U와 V가 서로 독립적인 방향을 가짐을 의미하며, 이로 인해 직합의 표현이 유일하게 결정된다는 중요한 성질을 갖는다.
직합의 개념은 벡터 공간을 더 작고 이해하기 쉬운 부분 공간들로 분해하는 데 유용하다. 예를 들어, 3차원 공간은 서로 수직인 세 개의 좌표축으로 생성된 1차원 부분 공간들의 직합으로 볼 수 있다. 이는 기저와 차원의 개념과 깊이 연관되어 있으며, 주어진 벡터 공간의 기저를 찾는 과정에서 부분 공간의 직합을 활용할 수 있다.
직합과 일반적인 합공간의 결정적인 차이는 표현의 유일성에 있다. 합공간의 경우, 하나의 벡터가 여러 가지 방식으로 두 부분 공간의 벡터 합으로 표현될 수 있다. 반면, 직합에서는 U ∩ V = {0}이라는 조건 덕분에, 합공간의 모든 벡터가 U의 원소와 V의 원소의 합으로 오직 한 가지 방법으로만 표현된다. 이 성질은 선형 변환을 분석하거나 직교 사영과 같은 문제를 다룰 때 매우 중요한 역할을 한다.
6. 예시
6. 예시
부분 공간의 대표적인 예시로는 유클리드 공간 R^3에서 원점을 지나는 모든 평면과 직선을 들 수 있다. 예를 들어, xy-평면은 R^3의 부분 집합이며, 이 평면 위의 임의의 두 벡터를 더하거나 임의의 스칼라를 곱해도 그 결과는 여전히 xy-평면 위에 존재한다. 또한 영벡터도 포함하므로, 이 평면은 R^3의 부분 공간이 된다. 마찬가지로 z축 또한 하나의 부분 공간이다.
행렬 이론에서 중요한 부분 공간의 예는 행렬곱 A*x = 0을 만족하는 모든 벡터 x의 집합인 핵(영공간)과, 행렬 A의 열벡터들의 모든 선형결합으로 이루어진 열공간이다. 이 두 공간은 각각 정의역과 공역의 부분 공간을 이루며, 선형 방정식의 해의 구조나 행렬의 계수를 이해하는 데 핵심적이다.
함수 공간에서도 부분 공간이 등장한다. 모든 실수값 연속함수의 공간 C(R)에서, 모든 다항함수의 집합은 부분 공간을 이룬다. 두 다항함수의 합은 다항함수이며, 다항함수에 실수 스칼라를 곱한 결과도 다항함수이기 때문이다. 마찬가지로, 미분방정식 y'' + y = 0의 모든 해의 집합도 C(R)의 부분 공간을 구성한다.
이러한 예시들은 부분 공간이 단순히 벡터 공간 안의 '작은 공간'이 아니라, 그 구조를 보존하는 체계적인 부분 집합임을 보여준다. 이 개념은 선형 변환을 분석하거나, 복잡한 공간을 더 단순한 부분 공간들로 분해하는 데 광범위하게 활용된다.
7. 관련 개념
7. 관련 개념
부분 공간은 선형대수학의 핵심 개념으로, 벡터 공간의 구조를 이해하는 데 필수적이다. 이와 밀접하게 연관된 개념으로는 선형 변환의 핵심 공간인 핵과 상이 있다. 핵은 선형 변환에 의해 영벡터로 보내지는 모든 벡터의 집합으로, 부분 공간의 성질을 만족한다. 상은 변환의 결과로 얻어지는 모든 벡터의 집합으로, 이 역시 부분 공간을 이룬다. 이 두 공간은 선형 변환의 성질을 분석하는 데 중요한 도구가 된다.
또한, 부분 공간의 개념은 아핀 공간과 아핀 부분 공간으로 확장된다. 아핀 부분 공간은 벡터 공간의 부분 공간을 평행 이동한 형태로, 반드시 원점을 지나지 않아도 된다는 점에서 선형 부분 공간과 구별된다. 이는 기하학에서 직선이나 평면을 다루는 데 유용한 틀을 제공한다. 더 나아가, 함수해석학에서는 무한차원 벡터 공간, 예를 들어 함수들의 공간에서의 부분 공간을 연구하며, 이는 힐베르트 공간이나 바나흐 공간 이론의 기초가 된다.
데이터 분석과 머신러닝 분야에서는 부분 공간의 개념이 데이터의 차원을 축소하거나 주요 패턴을 추출하는 데 활용된다. 주성분 분석은 데이터가 퍼져 있는 주요 방향, 즉 데이터가 존재하는 부분 공간을 찾는 기법이다. 이는 고차원 데이터를 이해 가능한 저차원의 부분 공간으로 투영하는 과정에 해당한다. 따라서 부분 공간은 추상적인 수학적 개념을 넘어, 현실 세계의 복잡한 데이터를 처리하는 실용적인 도구로서도 그 가치를 인정받고 있다.
8. 여담
8. 여담
부분 공간은 선형대수학의 기본적인 개념이지만, 그 응용 범위는 매우 넓다. 함수해석학에서는 무한차원 벡터 공간의 부분 공간을 연구하며, 기하학에서는 아핀 부분 공간을 직선이나 평면과 같은 기하학적 객체로 해석한다. 또한, 데이터 분석과 머신러닝에서 데이터가 존재하는 저차원 다양체나 주요 성분을 추출하는 주성분 분석의 이론적 토대도 부분 공간에 기반을 두고 있다.
부분 공간의 개념은 선형 변환을 이해하는 데 필수적이다. 선형 변환의 핵과 상은 각각 정의역과 공역의 부분 공간을 이루며, 이들의 차원 관계는 계수-퇴화차수 정리로 설명된다. 이는 연립일차방정식의 해 공간이 부분 공간을 이룬다는 사실과도 직접적으로 연결된다.
부분 공간의 연산인 합공간과 교차공간은 두 개 이상의 부분 공간들 사이의 관계를 규정한다. 특히, 직합은 부분 공간들이 서로 독립적으로 전체 공간을 생성하는 특별한 경우로, 벡터 공간을 더 단순한 구성 요소로 분해하는 강력한 도구가 된다. 이는 행렬의 대각화나 고유값 문제를 다룰 때 중요한 역할을 한다.
